
#pragma once

#define CONFIG_UART_PL011  1
#define CONFIG_ARCH_CORTEXA55  1
#define CONFIG_DRIVERS_GIC_V2  1
#define CONFIG_ARCH_ARM  1
#define CONFIG_PLAT_QEMU_VIRT  1
#define CONFIG_SMP  1  /* kernelSMP=ON */
#define CONFIG_TESTE  1  /* TESTVIRT=ON */